\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Admin script}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}RoboFight server}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Jetty webserver}{2}}
